Boolean algebra - PDFSEARCH.IO - Document Search Engine

Boolean algebra
Results: 1241

#	Item
101	KRDB RESEARCH CENTRE KNOWLEDGE REPRESENTATION MEETS DATABASES Faculty of Computer Science, Free University of Bozen-Bolzano, Piazza Domenicani 3, 39100 Bolzano, Italy Tel: +, fax: +, http://ww Add to Reading List Source URL: www.inf.unibz.it Language: English - Date: 2006-10-02 06:06:35 Mathematics Logic Mathematical logic Ontology Boolean algebra Mereology Predicate logic Algebraic logic ZermeloFraenkel set theory Binary relation Power set Mereotopology
102	Tutorial on Universal Algebra, Mal’cev Conditions, and Finite Relational Structures: Lecture I Ross Willard University of Waterloo, Canada BLAST 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:59:18 Mathematical structures Universal algebra Abstract algebra Algebraic structures Mathematical logic Algebra Variety Boolean algebra F-algebra Structure Boolean algebras canonically defined Heyting algebra
103	Finding Composition Trees for Multiple-Valued Functions E. V. Dubrova, J. C. Muzio VLSI Design and Test Group University of Victoria, P.O.Box 3055 Victoria, B.C., Canada, V8W 3P6 Add to Reading List Source URL: www.maths.lse.ac.uk Language: English - Date: 2002-11-29 08:54:37 Mathematics Functions and mappings Boolean algebra Engineering Functional decomposition Philosophy of mathematics Philosophy of physics Function composition Ear decomposition Tree Function Boolean function
104	Open problems in Boolean algebras over partially ordered sets Mohamed Bekkali University sidi mohamed ben abdullah (USMBA) Fez, Morocco Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 10:07:22 Algebra Mathematics Abstract algebra Boolean algebra Algebraic logic Algebraic structures Lattice theory Algebra over a field Heyting algebra Complete Boolean algebra
105	Combining Existential Rules and Description Logics Antoine Amarilli1,2 , Michael Benedikt2 1 Télécom 2 University ParisTech, Paris, France Add to Reading List Source URL: a3nm.net Language: English - Date: 2015-07-28 14:31:58 Computing Logic Boolean algebra Conjunctive query Database theory Description logic Web standards FO Boolean conjunctive query Web Ontology Language
106	Vaught’s Conjecture and Boolean Algebras Asher M. Kach (Joint with Steffen Lempp) Victoria University of Wellington and University of Connecticut BLAST 2010 Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:33:19 Model theory Boolean algebra Forcing Logic Mathematics Abstraction Complete Boolean algebra Order theory Conjectures Stable theory
107	First-Order Mixed Integer Linear Programming Geoffrey J. Gordon Machine Learning Department Carnegie Mellon University Pittsburgh, PA 15213 Add to Reading List Source URL: select.cs.cmu.edu Language: English - Date: 2009-10-20 18:53:39 Logic Mathematical logic Abstraction Automated theorem proving Model theory Predicate logic Semantics Boolean algebra Resolution Cutting-plane method First-order logic Propositional calculus
108	The (λ, κ)-FN and the order theory of bases in boolean algebras David Milovich Texas A&M International University http://www.tamiu.edu/∼dmilovich/ Add to Reading List Source URL: spot.colorado.edu Language: English Large cardinals Mathematical logic Mathematics Abstraction Cardinal number Free Boolean algebra Model theory Mahlo cardinal Weakly compact cardinal
109	Introduction van der Waerden ideal W-ultrafilters Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-06 18:41:48 Mathematics Order theory Non-standard analysis Abstraction Structure Ultrafilter Boolean algebra Ideal Ordinal number
110	Relation algebras as expanded FL-algebras Nikolaos Galatos and Peter Jipsen University of Denver and Chapman University Add to Reading List Source URL: spot.colorado.edu Language: English - Date: 2010-06-05 22:55:46 Mathematics Algebra Abstract algebra Algebraic logic Mathematical logic Fuzzy logic Boolean algebra Algebraic structures Residuated lattice Relation algebra Variety Binary relation

UPDATE